Relatively Complete Counterexamples for Higher-Order Programs

In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional language and contribute the first relatively complete method for constructing counterexamples for PCF programs. The method is relatively complete in the sense of Hoare logic; completeness is reduced to the completeness of a first-order solver over the base types of PCF. In practice, this means an SMT solver can be used for the effective, automated generation of higher-order counterexamples for a large class of programs. We achieve this result by employing a novel form of symbolic execution for higher-order programs. The remarkable aspect of this symbolic execution is that even though symbolic higher-order inputs and values are considered, the path condition remains a first-order formula. Our handling of symbolic function application enables the reconstruction of higher-order counterexamples from this first-order formula. After establishing our main theoretical results, we sketch how to apply the approach to untyped, higher-order, stateful languages with first-class contracts and show how counterexample generation can be used to detect contract violations in this setting. To validate our approach, we implement a tool generating counterexamples for erroneous modules written in Racket.Comment: In Proceedings of the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, Portland, Oregon, June 201

Kinds of well-being: A conceptual framework that provides direction for caring

This article offers a conceptual framework by which different kinds and levels of well-being can be named, and as such, provides a foundation for a resource-oriented approach in situations of illness and vulnerability (rather than a deficit-oriented approach). Building on a previous paper that articulated the philosophical foundations of an existential theory of well-being (“Dwelling-mobility”), we show here how the theory can be further developed towards practice-relevant concerns. We introduce 18 kinds of well-being that are intertwined and inter-related, and consider how each emphasis can lead to the formulation of resources that have the potential to give rise to well-being as a felt experience. By focusing on a much wider range of well-being possibilities, practitioners may find new directions for care that are not just literal but also at an existential level

The ontological consequences of Copernicus: global being in the planetary world

This article argues that contemporary space exploration, in producing visual representations of the planetary Earth for terrestrial consumption, has engendered a shift in the way the Earth - as terra firma - is both experienced and conceived. The article goes on to suggest that this shift is a key, but still largely tacit presupposition, underlying contemporary discourses on globalization and cultural cosmopolitanization. However, a close reading of some of the texts that make up the canon of 20th-century European philosophy shows that this idea of a ‘deterritorialized’ planetary Earth challenges some basic presuppositions of that canon: especially its use of the pre-reflective experience of terra firma as a tropic site of intological and normative grounds. This article examines the way in which contemporary Western European philosophy - and intellectual culture generally - has responded to this challenge: and offers Deleuze and Guattari’s idea of the Earth as a ‘surface without territory’ as the most intellectually and ethically viable conception of the Earth in the age of ‘planetary deterritorialization’

Making Well-being an Experiential Possibility: The Role of Sport

Whilst the relationship between active participation in sport and well-being has been widely acknowledged, less attention has been paid to actually understand this relationship from the perspective of the individual. Our paper draws upon phenomenological philosophy and the existential life-world view of well-being, in order to explore how the experience of sport can help facilitate possibilities for multiple kinds and levels of well-being. In doing so, our paper highlights the multiplicity of the dimensions of well-being, and offers examples of the different paths to well-being provided by sport, thus providing ways of describing well-being experiences within a sports context that are more complex than those offered by more traditional approaches to study in this area. Within this conceptual analysis we adopt a humanistic approach that considers the multiple ways well-being can be experienced through sport as a sense of dwelling, mobility or dwelling-mobility within the life-world dimensions of temporarily, spatiality, mood, embodiment, inter-subjectivity and identity

A critical analysis of articles using a Gadamerian based research method

It is over 20 years since Michael Crotty's groundbreaking critique of phenomenological research in nursing. However, rather than entering into the acrimonious discussions that followed, we developed a research method that we believed translated Gadamer's philosophy into the world of empirical research. Fundamental to that work was our differentiation of hermeneutics from phenomenology. The aim of the present paper was to provide a critical analysis of the citations from publication in 2003 until the end of 2017. We identified 402 citations of which 362 were included. One hundred and sixty‐three articles mentioned the article in passing, usually in a list of authors who had discussed hermeneutics. Sixteen citations misrepresented the method mainly claiming that we discussed a method for hermeneutic phenomenology (or phenomenological hermeneutics). Of the 117 citations that partially used the method, the main focus was the four steps of data analysis. Sixty studies used our method in totality although they derive from varying philosophical standpoints. Disappointingly, there has been little critique of our Gadamerian research method. For health disciplines to truly make progress in the academic stage, it is vital that we engage in with critique, some of which will come through open and honest reflexive engagement with our topics

Music in advertising and consumer identity: The search for Heideggerian authenticity

This study discusses netnographic findings involving 472 YouTube postings categorized to identify themes regarding consumers’ experience of music in advertisements. Key themes relate to musical taste, musical indexicality, musical repetition and musical authenticity. Postings reveal how music conveys individual taste and is linked to personal memories and Heidegger’s coincidental time where moments of authenticity may be triggered in a melee of emotions, memories and projections. Identity protection is enabled as consumers frequently resist advertisers’ attempts to use musical repetition to impose normative identity. Critiques of repetition in the music produce Heideggerian anxiety leading to critically reflective resistance. Similarly, where advertising devalues the authenticity of iconic pieces of music, consumers often resist such authenticity transgressions as a threat to their own identity. The Heideggerian search for meaning in life emphasizes the significance of philosophically driven ideological authenticity in consumers’ responses to music in advertisements

“Just one animal among many?” Existential phenomenology, ethics, and stem cell research

Stem cell research and associated or derivative biotechnologies are proceeding at a pace that has left bioethics behind as a discipline that is more or less reactionary to their developments. Further, much of the available ethical deliberation remains determined by the conceptual framework of late modern metaphysics and the correlative ethical theories of utilitarianism and deontology. Lacking, to any meaningful extent, is a sustained engagement with ontological and epistemological critiques, such as with “postmodern” thinking like that of Heidegger’s existential phenomenology. Some basic “Heideggerian” conceptual strategies are reviewed here as a way of remedying this deficiency and adding to ethical deliberation about current stem cell research practices

Happiness and education: troubling students for their own contentment

Currently higher education strategies seem to concentrate on the expedient, developing skills that can secure employment in the world of work. Following Dreyfus and Spinosa (2003), this may have immediate advantages, but in totalising pedagogic practices it may restrict our openness to people and to our own contentment with ourselves. Valuable as this may be as a way to satisfy politico-economic policy imperatives, it strays from education as an edifying process where personal development represents, through the facing up to distress and despair, an unsettling of our developing identity and a negation of our immediate desire satisfaction. Such an unsettling is not intended to give pleasure or satisfaction in the normative way in which the imperative of happiness has been used in student satisfaction surveys or in the wider societal context that this totalisation represents (Ahmed 2010). What I propose for higher education is not a dominant priority to feed the happiness for others but a mission to personal contentment revealed through realising student potentialities to them and so recognising their limitations as part of seeking an attunement to contentment